Skip to content

Conversation

per1234
Copy link
Contributor

@per1234 per1234 commented Oct 20, 2021

On every push that changes relevant files, and periodically, use github-label-sync to configure the repository's issue/PR labels according to the universal, shared, and local label configuration files.

Preview of the changes that would be made to this repository's labels on merge of this PR:
https://github.com/arduino/arduino-examples/runs/3948309158?check_suite_focus=true#step:9:15

On every push that changes relevant files, and periodically, configure the repository's issue and pull request labels
according to the universal, shared, and local label configuration files.
@per1234 per1234 added the type: enhancement Proposed improvement label Oct 20, 2021
@per1234 per1234 merged commit 2dcf0a5 into arduino:main Oct 20, 2021
@per1234 per1234 deleted the sync-labels branch October 20, 2021 09:32
@per1234 per1234 self-assigned this Nov 23, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type: enhancement Proposed improvement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants